derive sentence using inference rules